Asynchronous Announcements

We propose a multi-agent epistemic logic of asynchronous announcements, where truthful announcements are publicly sent but individually received by agents, and in the order which they were sent. Additional to modalities contains dynamic for making receiving them. What an agent believes is function her initial uncertainty she has received. Beliefs need not be truthful, because already made may yet have been As true when sent, certain message sequences can ruled out, just like inconsistent cuts distributed computing. provide complete axiomatization this announcement ( AA ). It reduction system that also demonstrates any formula equivalent one without modalities, as public logic. A detailed example modelling exchanging processes computing closes our investigation.